منابع مشابه
Formalization of Generative Unbinding
Pitts and Shinwell introduced an idealized programming language containing constructs for binding and also for pattern matching against this binding construct. They prove a result about which operations on names can co-exist with the binding construct in this language. What makes this construct interesting is that it generates a new name at the moment of “unbinding”. In this report we describe ...
متن کاملIdentification and Tracing of Ambiguous Names: Discriminative and Generative Approaches
A given entity – representing a person, a location or an organization – may be mentioned in text in multiple, ambiguous ways. Understanding natural language requires identifying whether different mentions of a name, within and across documents, represent the same entity. We present two machine learning approaches to this problem, which we call the “Robust Reading” problem. Our first approach is...
متن کاملUnsupervised, low latency anomaly detection of algorithmically generated domain names by generative probabilistic modeling
We propose a method for detecting anomalous domain names, with focus on algorithmically generated domain names which are frequently associated with malicious activities such as fast flux service networks, particularly for bot networks (or botnets), malware, and phishing. Our method is based on learning a (null hypothesis) probability model based on a large set of domain names that have been whi...
متن کاملUnbinding biotin from avidin
Atomic force microscopy of single molecules, steered molecular dynamics and the theory of stochastic processes have established a new field that investigates mechanical functions of proteins, such as ligand–receptor binding/unbinding and elasticity of muscle proteins during stretching. The combination of these methods yields information on the energy landscape that controls mechanical function ...
متن کاملMolecular dynamics force probe simulations of antibody/antigen unbinding: entropic control and nonadditivity of unbinding forces.
Unbinding of a spin-labeled dinitrophenyl (DNP) hapten from the monoclonal antibody AN02 F(ab) fragment has been studied by force probe molecular dynamics (FPMD) simulations. In our nanosecond simulations, unbinding was enforced by pulling the hapten molecule out of the binding pocket. Detailed inspection of the FPMD trajectories revealed a large heterogeneity of enforced unbinding pathways and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2007
ISSN: 0362-1340,1558-1160
DOI: 10.1145/1190215.1190232